Proto examples for Pedro