Eliminative Subsystem