(n.) See Astrict.