Title: The class inclusion problem