subinferendum