  We study indefinite quaternion algebras over totally real fields F, and give
an example of a cohomological construction of p-adic Jacquet-Langlands
functoriality using completed cohomology. We also study the (tame) levels of
p-adic automorphic forms on these quaternion algebras and give an analogue of
Mazur's `level lowering' principle.
