Strict machine