main title Ordered Structures and Applications Positivity VII (Zaanen Centennial Conference), 22-26 July 2013, Leiden, the Netherlands