Janyce Tanimine Proofs