lossful reasoning