Chris@7: assert(user(anonymous, [realname('Anonymous'), allow([read(_,_)])])).