Automatic checking example