short circuit if fact is already known