Example: EDP bound to 3RD0