quasicon formal mapping