Add local facts