with Premise, SectLineFor and Hayzeus