rewritten half-infinite ising model