Authors / proof --- '»dcF//proof