formal_rationality