orthonormal comments on Does functionalism imply dualism?