Category: proof tests