Predicado main + writeSame