unexhaustive
StructuringInformation
usingSquare
DefinitionsAndEvaluation