It would be convenient if the facts squared with the theory , but they do not .

• 如果事实与理论相符，那就好了，不过并非如此。