Missed proof outputs
Valid proof outputs