Would you consider the formal verification community to be "rationalists"?