Scaffolds for seeing, using, and articulating logical structures in proofs: Design research study with high school students | Synapse