AJ and Julia FinalAJ and Julia's Proofs