Add theory case