a * mnaf * mnaf y^ket.