WIP: testing browser proofs
the missing proof. verifies induction tool!
Initial attempt at a firebase login