Modal logic 1.1 - system K - introduction