Looks like @lecture1 hasn't received any replies!