Added "then" discussion.