Physics307L:People/Harriger/Formal