Using empty fact