config A
    bool
    select n
    select m
    select y
    imply n
    imply m
    imply y