Phew--finally the Strongliftish algorithm makes sense