Let us call SLPDL the logic obtained by augmenting PDL with sloop(α). RPDL and SLPDL are essentially incomparable: the predicate Δ is not definable in SLPDL, and the predicate sloop is not definable in RPDL. SLPDL does not possess the finite model property. For example, the formula