updating
added alignment lemma feature