source: [lemma=thus] □
destination: [lemma=thus] □ □
spec: Thus , when a primary VoIP controller becomes unavailable it is possible for a system to allow a handset to register itself elsewhere and remain functional . There is nothing you can change about it unless you get a different boyfriend .