[DecidedStrict,DecidedStrict,DecidedLazy]