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