6.4. Reachability Notes | Discrete Structure BCA-NEW | TU | TABFlux