Orthocentre
Non-foundation
Special triangles β