redefining tamarin to be more generic.