premise: renal calculi can be very painful
hypothesis: a specific type of calculi is crystal (or crystallization), defined as 'a rock formed by the solidification of a substance; has regularly repeating internal structure; external plane faces' .