You feel lean4 proof, that you 99.999% chance not understand is beautiful?