An implementation of ICE, solve (String theory) before RELEASE.