Proof By Exhaustion

The Logistician’s Problem:
For our subject (n), sleep ceases to be a viable option at this current juncture.

Proof:
Case 1: If carnal, animal lust (hereon in referred to as variable x) prevents early bedtime ritual due to a clouding of common sense/judgment/conscience/ETC, then all night screwing fests with boyfriend (m) will ensue in place of sound nights rest.

Case 2: If work (otherwise known as variable y), requires unreasonable waking hours (factoring in such issues as long commute/unreasonable co-worker expectations), then n, much exhausted from screwing m all night, will not sleep.

Case 3: If, prior to variable y’s occurrence, yet post a bountiful and invigorating dose of variable x, subjects n and m engage in a knock-down-drag-out lover’s spat, then upon successful reconciliation (several hours later), variable x must then be re-administered (for another several hours) and n will not sleep.