Sveinbjörn's First Law
Plainly stated, Sveinbjörn's First Law is the following:
In any given time period t where enough people gather to constitute a "party", the amount of beer consumed will at least equal the amount of beer purchased for the occasion in question. In other words:
(t) (P(t) --> cbeer >= bbeer)
where P is the function "_ is party", and c and b represent consumed and bought beer, respectively.
There is a strong and a weak form of this law. The strong form maintains that this is true in all possible worlds, whereas the weak form only maintains that it is true in ours.
Please note that this law says nothing about strong liquor.