For a start there is an implicit assumption that p does not equal q. If you are going to use variables (instead of 'something' and 'something else') then you sh

For a start there is an implicit assumption that p does not equal q. If you are going to use variables (instead of 'something' and 'something else') then you should use them precisely.