Malia - Proofs - laslo