семантика крипке.