symplectomorphisms, primitive function, variational principles,  
converse KAM theory, Greene method