5.06 Writing the PF Case