Yes, these are semantics we already have
# random
f
Yes, these are semantics we already have