says(tpme1, m1).
