7.6: Justifying Constructions