Denoting reasoning based on known facts