Logic m . tu.