Implement && and || in Fact.