Space S112 | Property P23

is not

References