FAQ Tag: one-way distinctness