Experience report from Lex Nederbragt