yrkaS och bewiseS genomsäkra