Efficient fact