metamathematical-demurrable-fairyfly