added optional assuming AlignSem