Ladders how the should be

Package: Minor Redefinitions