Added logic.fs