exactly one (at a time) is a property that a theor...
# development
r
exactly one (at a time) is a property that a theoretical
@console_rule
can guarantee I think?