2ndconsXn__consYZactivateYfromXconsXn__fromsXconsX1X2n__consX1X2fromXn__fromXactivaten__consX1X2consX1X2activaten__fromXfromXactivateXX2ndconsXn__consYZactivateYfromXconsXn__fromsXactivaten__consX1X2consX1X2activaten__fromXfromXtrue2ndconsXn__consYZactivateYfalseactivaten__consX1X2consX1X2falseactivaten__fromXfromXfalsefromXconsXn__fromsXfalse