defined body