["heteromorphisms"]