prove-struck-describe-able.run