Before revision:  Therefore, we conclude with a real RAM analogue to the Cook-Levin Theorem .
After revision:  Therefore, we conclude with a real RAM .