Skip to content

Add assumptions

Add assumptions #17