link
refinement for [and] and [st]