TacticLib

fun TacticLib()