Retroknowledge arguments are made VERNAC ARGUMENTS.