From pseudo-objects in dynamic explorations to proof by contradiction