それがlogを定めることを証明するんだろ、めんどくさい