Make sure user has an option to override them with mkOverride, so in that case asserting could cause problems, so i'm not really sure with that.