Valeria ~ EditedValeria ~ Proofs