Can't use strict variables with some of the facts