Several more subset definitions
Ext2 subsets complete
isOnDisk subset
A few more subset proofs
Simpler, recursive logic for getting file name. Start of subset for file name