Interested in logic.