Added predicaates for extensions