Tag: #statement and assumption