-- Command and assertion -- Structure and assertibility -- Context logic --