TLA+: added slot to F18A state