Text this: Quantum theory of Josephson junction for a quantum bit