add logic resolution exp.