Standard procedure (after years everybody should know it by heart): Read in the manual, e.g. about Assumptions, on this page see below $Assumptions and Assuming.
