logic geometry examples