creating proof task for pitfall 'blind spot in group by'