use similar methods that are used in the Verified OWL client