My implementation of the assignments for AllProperty