section subsection prop : ok