Tankove
Kripke
-------- --
--------------------
----------
----------
--------------------------
------ -
----------
----------
----------------------
------------------------------------
----------
----------
------------------------