granted that

Property 1

Property 2

Property 3

Property 4