Text this: All-Path Reachability Logic