Looks like @properfraction hasn't commented yet!