properly imply

[计] 真蕴含