Looks like @cryptobyers hasn't commented yet!