non-superimposability