Create MCHK-checks/non-imperative