formal rationality

×