Believing a math. prop.