MORE EDITS AND NOTES IN DERIVATION