!module B x = t