<<Ignotheory: Basic Shapes>>