Storing facts in a more compact way