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