assumptions -> parameters