Forest boundary conjecture. For any tree TTT, the class of {T,Tb‾}\{T,\overline{T^b}\}{T,Tb}-free bipartite graphs is at most factorial.