BerlinProof static space