#version v #letter v #proof v #specific proof #proof analysis