remove type checking for abstract checking