4.1-6 Zorn's lemma.

that user-created links should be bidirectional.

If supply of tulpas is limited, then they implicitly have a price.

Theprincipleismerelythisthatdifferentsubjectsandmodesofstudyshouldbeundertakenbypupilsatfittingtimeswhentheyhavereachedtheproperstageofmentaldevelopment.

Axiom: Opacity of URIs The only thing you can use an identifier for is to refer to an object. When you are not dereferencing, you should not look at the contents of the URI string to gain other information.

T h i s c a s e c o n c e r n s t h e i n t e r a c t i o n o f t w o w e l l - e s t a b l i s h e d p r o p o s i t i o n s . T h e f i r s t i s t h a t f a c t s a r e n o t c o p y r i g h t a b l e ; t h e o t h e r , t h a t c o m p i l a t i o n s o f f a c t s g e n e r a l l y a r e . E a c h o f t h e s e p r o p o s i t i o n s p o s s e s s e s a n i m p e c c a b l e p e d i g r e e . T h a t t h e r e c a n b e n o v a l i d c o p y r i g h t i n f a c t s i s u n i v e r s a l l y u n d e r s t o o d . T h e m o s t f u n d a m e n t a l a x i o m o f c o p y r i g h t l a w i s t h a t " [ n ] o a u t h o r m a y c o p y r i g h t h i s i d e a s o r t h e f a c t s h e n a r r a t e s . " H a r p e r & R o w , P u b l i s h e r s , I n c . v . N a t i o n E n t e r p r i s e s , 4 7 1 U . S . 5 3 9 , 5 5 6 ( 1 9 8 5 ) .