Added logic.hs