Commented-out code here and below.