# Assumptions

None.