Theoretical Logic Insurance