Early development and application of proof-like reasoning: longitudinal case studies