fixed per prove spec