Results for "succeeds under relation"