p1_derived - input specialised, can now set val

TODO: finished_writing doesnt do anything yet