ozymandias comments on Three types of “should”