Example: FLP bound to 1DVT