the example is translated ...