add requirement (nothing superfluous!)