Most Exp logics are done