upward
t-J model