“…Listing 4.3). Listing 4.3: P4M unital with 4 collinear full points u := P4MAbstractUnital( 138 );; b1 := [ 16,20,22,34,62 ];; b2 := [ 6,10,27,35,41 ];; fullpts := FullPointsOfUnitalsBlocks( u, b1, b2 ); ## [ 5,30,37,42,61 ] ForAny( BlocksOfUnital( u ), x -> IsSubset( x, fullpts ) ); ## false First( BlocksOfUnital( u ),…”