upward

t-J model