TP: 1,2,3 DONE

$PROVE