Summer Academy 2019

Concepts can only be defined on pages in the Concept: namespace.