```!Element``` is the correct type check. However, Petro doesn't like it. So now we have to write just ```Element```.