Kaffe

Kaffe er en drik primært bestående af (fortrinsvis varmt) vand blandet med et opkvikkende aromastof, som enten kan opløses direkte i vandet - ofte kaldet nescafe eller frysetørret kaffe - eller kan blandes med vandet igennem et filter i en kaffemaskine.

Der gælder en række essentielle formler for kaffe:

$10\cdot {\texttt {kaffe}}=3\cdot {\texttt {effektivitet}}+7\cdot {\texttt {vaagenhed}}$

samt

${\texttt {Kaffe}}\Rightarrow {\texttt {Natarbejde}}={\texttt {Ok}}$

Derudover har kaffe selvfølgelig også en invariant ligesom Pizza:

$I_{1}\triangleq \Box ({\texttt {Morgenkaffe}}\Rightarrow \Diamond {\texttt {God}}\ {\texttt {dag}})$

(der er ingen leadsto tegn på wiki) og

$I_{2}\triangleq \Box ({\texttt {Kaffe}}={\texttt {Godt}})$

Hvis kaffe er det eneste, du har med på en øde ø, ja så er du sgu lidt uheldig.