minimax method, index theory with group action, and Conley index theory. All methods are