Journal entry for

Trying out Joachim Breitner’s rec-def.