No issue closed: all issues of MIL-001 to MIL-004 are closed.
Closes #17 Closes #18 Closes #19 Closes #20