In reply to alexkidd84:
Just curious, Does this one work? $fell(a) |=> $stable(b) until $fell(a); // until_with