Boolean select => sext+and