Nem mondom, hogy értem, hogy ezt miért írtad ide. Persze, nyilván definiálni kell a felhasznált fogalmakat, amennyire lehet, de neked pont az "agyon-túl formalizálás" volt a bajod.