, then one can find a quaternion algebra $B$ and an Eichler order $R$ such G0 holds, i.e., one can carry out the construction of Greenberg (as described in Section \[sec:greenberg\]; assuming the conjectures made in the construction).\ (