Removed comments from smt motivation.