Some short Lua examples I had to do for Theory