Logics3 done