(n.) See Astrict, and Astriction.