rewriting bottom environment calculation

USE 3 not 1 for contraction!