Got rid of BoxP in the end