TEKUN777: DEPENDABLE FORMAL ON THE NET SLOT RECREATION SYSTEM WITH STRAIGHTFORWARD WINS