Fix postulate scope