proper syntax definition