Tag: logic based on reality