redundant fact vars