(Note: This is done in Fakie)