Rev. 2 created by Nevov 2019-05-31 18:15:09

Bold bug, fixed

Rev. 3 created by Nevov 2019-05-31 18:35:06

Reword of unsb note to avoid a 'none is/none are' weirdness.