now we can leave out redundant parameters