An Initiation Into Q Proofs PART 2 No Name