Under förutsättning , attreskriptet