Fact match fact wo/variables