Foundations of Higher-Order Forcing. Issue 4 (2nd January 2019)