Added assumptions to before methods