BSD license added + reification of positives