Z3: remove extra (
Z3: remove wrong tutor name
Z3: maybe solve 3