hamm solved
prot solved
simplify
prtm solved