A first test problem and more readable code for the operators - not verified...