relaxed mutation checks