Mots2proof
3 following