Note agian: the consensus is: in the end of the day, all the term of BMI will refer to reduced BMI we talk today. The term reduced BMI is used during the process to get there.
According to the result of polls, I’d like to choose reduced BMI and full BMI (since it is shorter) to continue the work.
Also for the decls hash’s idea, I’ll summarize the opinions I received as “it is interesting but it may be too early to consider such features.” So let’s postpone the implementation for that.