An Initiation Into Q Proofs PART 1 No Name