@hanahisteem: deducitur a tum