moving all facts into one definition