Strict Machine