fixing and simplifying alet*. seems to work for all cases now.