slightly-hardcore-models-by-nuno