Pending the design and implementation of a type system for SETL, I have added the convenience of records to SETL (without, alas, the security of strong typing) by extending the member selection (``dot'') notation so that it can be used to address range elements in maps whose domain elements are strings having the form of SETL identifiers. For any single-valued, string-domained map f, the identity *
f.x = f(`x')holds. The dot also retains its normal purpose of explicitly resolving member names to packages. In a case-insensitive stropping 2.3 regime, F.X, F.x, and f.X are also equivalent to f(`x') and F(`x') (but not f(`X'), i.e. F(`X')).