Use tactics-in-terms workaround