open to proof

Mentioned in ?