Highlight the "postulate" keyword