Add default theory to main app