The Case of Core-Plus Mathematics