geometry logic statements