WRITE_DIR_PERMISSION
return Implies(WRITE_DIR_PERMISSION);
= WRITE_PERMISSION | WRITE_DIR_PERMISSION;
| WRITE_DIR_PERMISSION);