A comment on "Boolean functions classification via fixed polarity Reed-Muller form" | Synapse