checked syntax