BSD Plan for 2007-04-27

Goal of today: Define Reg_p(E).

1.