take ConwayStar ; :: thesis: ConwayStar is fuzzy
thus ConwayStar is fuzzy ; :: thesis: verum