Protocol Design @ Safe