Using Default logic for the first time