add use case in violation of Pratt's postulate