INFO:
Mohammed Abouzaid:Arnold Conjecture and Morava K-theory