proof types