unrealizable and unsatisfiable cores -- working version for journal submission