Verified compatibility with constructors