Porting owschecker to pyramid