use juxt in some places