05-booleans checkpoint modified