Added specification comments to main operations