more derivations
more derivations and support for 'see'