injection Q -> R and opposite