Space S67 | Property P4

is not

References