the first two sections: system model + transactions