share

modal logic