Free au instruments for logic