Must Declare A Body Because It Is Not Marked Abstract Unity