Wald

• transitiveness
• parameters
• xis
• pet
• Palladio