Implicit optimization

Julius Berner, 30. May 2023