Allson.sats