lim+, delta+, and Non-Permutability of beta-Steps