reasoning about rationality