:- dynamic '<<'/2. act<