use exact notation everywhere