For Alan's class