2ndconsXn__consYZactivateYfromXconsXn__fromsXconsX1X2n__consX1X2fromXn__fromXactivaten__consX1X2consX1X2activaten__fromXfromXactivateXX2ndconsXn__consYZactivateYfromXconsXn__fromsXactivaten__consX1X2consX1X2activaten__fromXfromXtrue2ndconsXn__consYZactivateYfalse123activaten__fromXfromXfalse1fromXconsXn__fromsXfalseactivaten__consX1X2consX1X2false