Geometric logic (source code)

= Geometric logic
{wiki=Geometric_logic}