pc is just a boolean expression