Space S53 | Property P4

is not

References