two passes on Independently Extensible Solutions to the Expression Problem