LogDisIO is now covaraint