no need for "then"