rock hard postulate