inversive languages