Theoretical highlights