Work on "other logic"