Looks like @crypto2017 hasn't commented yet!