Onto Assumption

Always Require