add fact function
var() produces new wild variable