EBTS and the correct type