0 as P | & lt;