flesh out p1 declaration