  Parmenides then reasons as follows. By P2, if X is a form and X is what it is in relation to Y, then Y is a form. By P4, knowledge is what it is in relation to what it is knowledge of.  So P2 and P4 together entail P6: