EFDC+ Theory Overview