Proving Rationality