Assertion & Reason

Playing with Constructions