MandB_Proofs-3MandB_Proofs-3FMandB_Proofs-14MandB_Proofs-14FMandB_Proofs-16MandB_Proofs-16FMandB_Proofs-22MandB_Proofs-22BLUMandB_Proofs-22CMandB_Proofs-22FMandB_Proofs-24MandB_Proofs-24CMandB_Proofs-24SMandB_Proofs-28MandB_Proofs-28BLUMandB_Proofs-28CMandB_Proofs-28FMandB_Proofs-28STMandB_Proofs-33MandB_Proofs-33C