Worked on proof of rationality theorem