Variables and facts