qed on
7

act
it om a e