A fvs * A k l~ Att