pavement shouldn't overwrite thinkcspy!