Example: FLP bound to 1CQE