Add principle of sorts