autoreduction script for let which have been demoed to work