need to do consensus theorem