simplified parametre preconditions