State constrained on PBK, fix #84