add hypothesis tests