Some theory chapter updates