Dear SAL-helpers Is there a neat way using one of the SAL tools to find all the states reachable within k transitions given some constraint? best wishes Robin Robin Bloomfield reb at adelard.com