superpredicates