Notes by professor bitcorn | export