cast before checking unicity