module Proof::CoreExt::Object