yeah, ignore this. it's valid and equivalent to what I said