Mirarified most of examples