SEQ and multiplication seem OK