Verified Initial Comments