Unconstrained copulation be incumbent on declaratory 5