[ thesis ] Different formalisations for corrupt.