formal rationality