ERHC stated they were in default so all default provisions kicked in when that happened. Everybody knows that.