Assumptions on the availability of classes