ABCD is equal to ABCE