syntax in progress.html