Type-type identity

  1. Redirect Type physicalism