rigid analysis