Add crucial assertion syntax.