Across  the river  is about  twenty metres of cliff face, sheer  parts  held
together  by riparian  scramblers,  integrity  maintained  by a thin line of
emergents   just  far back enough  to not yet have fallen   down  the  cliff
embarrassingly  replanted root-side-up  but not so far back as to be cleared
for farmland. This side of the river is low and stabilized by the occasional
willow, a riverbank garden interspersed with carefully mown grass maintained
by local environmental  volunteers as a sign informed me.
Yesterday   I was spending  some time with a software  engineering   masters
student who countered  some of my suggestions of whimsical  applications  to
write with rock scissors paper.  I ended up 'going first' and surrounding
(flet ((idx-of (choice)
         (search `(,choice) *choices*)))
  (case (mod (apply '- (mapcar #'idx-of `(,human-choice ,robot-choice))) 3)
    (0 '|...|)))
with some CLOS.
I had put together  a Debian  machine  I thought  was quite  similar  to the
university's   linux labs (that university  is split between  Sun  java  and
Microsoft  C#).  Alas, the masters student  needed more modern tooling,  and
produced  with mild coaching the same logic as mine, though in the vessel of
Microsoft C# and a Microsoft Windows Form having a radio-button choice and a
submit button that popped out a message upon submit button click.
I think I had seen that modern tooling in a Microsoft Windows 3.1 rock paper
scissors game.  Some coincidence  that I was shown this circa 1992 gui as an
icon of 2022's modernity,  and that also being the date on ANSI common  lisp
current. 
This makes me think I am doing wrong to argue ANSI common lisp with C++ 2017
people.  The common lisp of 1992, while still alien (and better) relative to
C++ 2017, is not different enough to merit this communication.
The point of the student's  masters degree is to receive training in running
a  java program  some of the teachers  had written  in 1997.   That has some
similarities to my recent-times  departure from ANSI common lisp to ACL2.
I  think  I need to invite  Gabor's  MGL into :program  mode ACL2.   Strange
bedfellows, but not altogether unfamiliar.