First and last state proof