Removed unused isElementOf