theory problem set