Horizontal foliation

. literalinclude:: geo-foliation_hor.def