Example: FRD bound to 2AOF