alpha conditional propogation implemented