for S being satisfying_Tarski-model TarskiGeometryStruct
for a, b, p being POINT of S holds
( p out a,b iff ( Collinear a,p,b & not between a,p,b ) )