corrected hardcore implementation