So you have to assume the valid/expected paths and...
# general
m
So you have to assume the valid/expected paths and check every time