Scripts for using weaker-than-weak elimination