getting ready to create a proof task for a new pitfall
another specialized type for user-friendliness