Separation from examples and sensible defaults