Seol mar théacs é seo: Mathematical problems from applied logic II :