Implement PathImpossible and TargetInvalid rule