Fundamental design and separate checks outlined