executable reachable
spoofing examples
absorbing packets that reached their destination
inconsistency?
the inspiration how the base case for reachable must look like