proposition , att asi