Taming logics door S. Mikulas