What is the difference between Ministries and Statutory Boards? Are Statutory Boards considered part of the Singapore Civil Service?