Removed broken declaim statement