https://harizanov.com/2013/03/drat-and-double-drat/