add; idea for identity in lexp