Rule: no proto