Vanitas proof

Missing proof parameters.