Higher order mappings are semi-functional. Still have some bugs!