Nonlinear strict cone separation theorems in real normed spaces | Synapse