Multiple logics, added langton's ant. Abstractions