Astrict definitions