Desirability and two controllability methods are debugged.