type Logic = t.Logic;