styled m.proof.lesson