But why wouldn't the contract decline this kind of 'invalid' transaction? It is invalid as it is now stuck over there forever, meaning it's a case that should be rejected.