with josephson junction