(big ladder, small ladder)