An equivalent holds true whenever a pc is required