Looks like @fiat4crypto hasn't commented yet!