PERFECT MODAL RULES.

MODAL+ HAVE+ PARTICIPLE