ladderofabstraction