create a map-theory fn