ex 2.2 & assert for ex 2.1