On Saturday, 10 September 2016 13:49:05 UTC+2, Mike Collins wrote:

"Mantis" should of course be "mentioned".

Pray do not fall prey to your SC.
To obviate a snappy, but dishonourable, "mention." ;-)