[tex] Our approach to solving Inhabitation tree and stuff...