further work on sane instances