Dedukce - can, may, must