<@U0B891ZTR>: could you please provide a proof?
# random
v
@michaelrocks: could you please provide a proof?