yes, that should fail.