then ABCD is a