Replaced map with transitive instance