Correct. Dynamic runtime interactions will always be a hard problem as it’s hard to see in static code even for humans.