lack of rigor detected by rigourous jllonch