partial step towards implementing StatePFList